You have chosen fragments/reports, Higher-Order Logic and Higher-Order Logic.
All three must be different; choose another text.